/**
 * 
 * This class represents an oven that bakes double cookies.
 * 
 */
@Author("Roman Puenguentzky")
public class OvenDoubleCookie {

	/**
	 * Bakes a DoubleCookie by copying the provided one and fills it with the provided filling.
	 * 
	 * @param c
	 * 		Cookie
	 * @param f
	 * 		Filling
	 * @return
	 * 		Valid DoubleCookie if the provided parameters are valid.
	 */
	@Author("Roman Puenguentzky")
	public DoubleCookie bakeCookie (SingleCookie c, Fill f) {
		// c != null; f != null
		return new DoubleCookie (c, new SingleCookie(c), f);
		// returns a valid DoubleCookie
	}
		
}
